axiom of closure

闭合公设;闭合公理